<HTML><HEAD><TITLE>?Set1 subsetof ?Set2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd_sets)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?Set1 subsetof ?Set2</H1>
Set1 is a (non-strict) subset of the integer set Set2
<DL>
<DT><EM>Set1</EM></DT>
<DD>a set, set variable, free variable or set expression
</DD>
<DT><EM>Set2</EM></DT>
<DD>a set, set variable or set expression
</DD>
</DL>
<H2>Examples</H2>
<PRE>
    	?- X subset [1,2,3].
	X = X{([] .. [1, 2, 3]) : _398{0 .. 3}}

	?- X subsetof [1,2,3], Y subsetof X.
	X = X{([] .. [1, 2, 3]) : _398{0 .. 3}}
	Y = Y{([] .. [1, 2, 3]) : _531{0 .. 3}}

	?- [1,2,3] subsetof Y.
	instantiation fault
    </PRE>

</BODY></HTML>
